A system of rules that can generate all and only those combinations of words that form grammatical sentences in a given language.
The general theory dealing with grammar as constructed by such rules.